English translation for "variable propositionnelle"

propositional variable

Example Sentences:

	1.	The simplest type of propositional formula is a propositional variable. Le type le plus simple de formule propositionnelle est une variable propositionnelle.
	2.	A propositional variable can stand on its own as an atomic formula. Une variable propositionnelle peut se 'tenir debout', comme une formule atomique.
	3.	The interpretation of a propositional variable is one of the two truth values true and false. L'interprétation d'une variable propositionnelle est l'une des deux valeurs de vérité vrai et faux.
	4.	The formulas are inductively defined as follows: Each propositional variable is, on its own, a formula. Les formules sont inductivement définies comme suit: Chaque variable propositionnelle est, en soi, une formule.
	5.	Example In a given propositional logic, we might define a formula as follows: Every propositional variable is a formula. Exemple Dans une logique propositionnelle donnée, nous pourrions définir une formule comme suit: Chaque variable propositionnelle est une formule.
	6.	For example, in a propositional formula, each propositional variable may be interpreted as a concrete proposition, so that the overall formula expresses a relationship between these propositions. Par exemple, dans une formule propositionnelle, chaque variable propositionnelle peut être interprétée comme une proposition concrète, de sorte que la formule globale exprime une relation entre ces propositions.
	7.	Propositions that are simple (atomic), symbolic expressions are often denoted by variables named a, b, or A, B, etc. A propositional variable is intended to represent an atomic proposition (assertion), such as "It is Saturday" = a (here the symbol = means " … is assigned the variable named …") or "I only go to the movies on Monday" = b. Les propositions qui sont simples (atomique) telles que les expressions symboliques sont souvent désignées par des variables nommées a, b, ou A, B, etc. Une variable propositionnelle est destinée à représenter une proposition atomique (assertion), telle que « on est samedi » = a (ici le symbole = signifie « ... est attribué la variable nommée ... ») ou « Je ne vais au cinéma que le lundi » = b. En logique propositionnelle classique l’évaluation d'une formule propositionnelle commence par l'affectation d'une valeur de vérité à chaque variable.

Similar Words：

"variable globale" English translation, "variable libre" English translation, "variable locale" English translation, "variable lumineuse bleue" English translation, "variable métasyntaxique" English translation, "variable range hopping" English translation, "variable temporaire" English translation, "variable volatile" English translation, "variablement" English translation